proof definition of limit